|
|
1.
|
Computer Safety, Reliability, and Security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : Proceedings
by Anderson, Stuart | Felici, Massimo | Littlewood, Bev. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 LIT] (1).
|
|
|
2.
|
Information Security : 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003 : Proceedings
by Boyd, Colin | Mao, Wenbo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BOY] (1).
|
|
|
3.
|
Security Protocols : 10th International Workshop, Cambridge, UK, April, 2002 : Revised Papers
by Christianson, Bruce. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 CHR] (1).
|
|
|
4.
|
Operational Semantics for Timed Systems : a Non-standard Approach to Uniform Modeling of Timed and hybrid systems
by Rust, Heinrich. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 RUS] (1).
|
|
|
5.
|
Recent Advances in Intrusion Detection : 6th International Symposium, RAID 2003, Pittsburgh, PA, USA, September 8-10, 2003 : Proceedings
by Vigna, Giovanni | Jonsson, Erland | Kruegel, Christopher. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 VIG] (1).
|
|
|
6.
|
Composition of Secure Multi-Party Protocols : Comprehensive Study
by Lindell, Yehuda. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 LIN] (1).
|
|
|
7.
|
Advances in Computing Science - ASIAN 2003 : Programming Languages and Distributed Computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : Proceedings
by Saraswat, Vijay A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 SAR] (1).
|
|
|
8.
|
Computer Security – ESORICS 2003: 8th European Symposium on Research in Computer Security, Gjøvik, Norway, October 13-15, 2003. Proceedings
by Snekkenes, Einar | Gollmann, Dieter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 SNE] (1).
|
